Propositional formula - PDFSEARCH.IO - Document Search Engine

Propositional formula
Results: 133

#	Item
111	INT. J. LANG. COMM. DIS., JANUARY –MARCH VOL. Add to Reading List Source URL: steinhardt.nyu.edu Language: English - Date: 2011-02-17 13:43:31 Science Philosophy of language Propositional calculus Formal languages Semantics Proposition Language acquisition Idiom Well-formed formula Logic Linguistics Logical syntax
112	Classical Logic I: First-Order Logic Chapter 1 Add to Reading List Source URL: www.blackwellpublishing.com Language: English - Date: 2001-06-18 13:30:12 Formal languages Metalogic Logical syntax Propositional calculus Interpretation First-order logic Well-formed formula Substitution Structure Logic Mathematical logic Model theory
113	[removed]Supplementary Notes: Higher-Order Logic Robert Harper Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2005-01-05 16:58:46 Propositional calculus Predicate logic Universal quantification First-order logic Well-formed formula Existential quantification Negation Intuitionistic logic Proposition Logic Mathematical logic Quantification
114	Algebraic Properties of Rules of Frege-Hilbert Calculi Elmar Eder Add to Reading List Source URL: www.cosy.sbg.ac.at Language: English - Date: 2005-08-09 12:26:52 Proof theory Automated theorem proving Propositional calculus Logic in computer science Hilbert system Proof calculus Combinatory logic Well-formed formula Deduction theorem Logic Mathematical logic Mathematics
115	Mathematical Logic Helmut Schwichtenberg Add to Reading List Source URL: www.mathematik.uni-muenchen.de Language: English - Date: 2010-07-21 04:18:08 Predicate logic Propositional calculus Logical syntax Proof theory First-order logic Natural deduction Well-formed formula Atomic formula Intuitionistic logic Logic Mathematical logic Mathematics
116	ON A DECIDABLE FRAGMENT OF PREDICATE CALCULUS Add to Reading List Source URL: suppes-corpus.stanford.edu Language: English - Date: 2008-11-05 20:24:12 Propositional calculus Proof theory Logical syntax First-order logic Monadic predicate calculus Decidability Well-formed formula Sequent calculus Proposition Logic Mathematical logic Predicate logic
117	Mathematical Logic with Diagrams Based on the Existential Graphs of Peirce Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2008-01-27 23:15:42 Charles Sanders Peirce Diagrams Philosophical logic Existential graph Logical graph First-order logic Propositional calculus Well-formed formula Function Logic Mathematical logic Mathematics
118	PDF Document Add to Reading List Source URL: web.engr.oregonstate.edu Language: English - Date: 2010-01-08 15:44:32 Propositional calculus Formal languages Model theory Interpretation First-order logic Well-formed formula Proposition Function Atomic formula Logic Mathematical logic Predicate logic
119	PDF Document Add to Reading List Source URL: www.wv.inf.tu-dresden.de Language: English - Date: 2011-08-04 06:29:09 Semantics Boolean algebra Logical syntax Interpretation Many-valued logic Tautology Propositional formula Truth table Logical connective Logic Mathematical logic Propositional calculus
120	PDF Document Add to Reading List Source URL: www.uky.edu Language: English - Date: 2009-02-12 16:35:04 Semantics Logical truth Mathematical logic Boolean algebra Interpretation Tautology Well-formed formula Function Truth table Logic Mathematics Propositional calculus

UPDATE